# Dot triples syntax

## Alice

has :: 37 years old

ex:knows :: [[Bob]]

untyped [[Bob]]

untyped [[Alice]]

A :: B :: C :: D

## Embedded

(EA :: EB) && (EC :: ED)